Marieke Huisman : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Libre accès à la connaissance et à la culture.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres (25)
Les plus populaires
Liste
- Liste
- Tableau

1

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing

Dirk Beyer, Marieke Huisman

Année:

2018

Langue:

english

Fichier:

PDF, 18.68 MB

0 / 0

english, 2018

2

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Springer International Publishing

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen

Année:

2019

Langue:

english

Fichier:

PDF, 9.90 MB

0 / 0

english, 2019

3

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing

Dirk Beyer, Marieke Huisman

Année:

2018

Langue:

english

Fichier:

PDF, 18.46 MB

0 / 0

english, 2018

4

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Stephen Gilmore (auth.), Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (eds.)

Année:

2005

Langue:

english

Fichier:

PDF, 4.02 MB

0 / 0

english, 2005

5

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Stephen Gilmore (auth.), Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (eds.)

Année:

2005

Langue:

english

Fichier:

PDF, 4.23 MB

0 / 0

english, 2005

6

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018...

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018...

Saint Philip Street Press

Marieke Huisman & Dirk Beyer [Huisman, Marieke & Beyer, Dirk]

Année:

2020

Langue:

english

Fichier:

EPUB, 6.00 MB

0 / 0

english, 2020

7

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Springer-Verlag Berlin Heidelberg

Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll (auth.), Didier Bert, Christine Choppy, Peter D. Mosses (eds.)

Année:

2000

Langue:

english

Fichier:

PDF, 3.26 MB

0 / 0

english, 2000

8

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Claudio A. Ardagna, Marco Cremonini (auth.), Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet (eds.)

Année:

2006

Langue:

english

Fichier:

PDF, 1.73 MB

0 / 0

english, 2006

9

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Springer-Verlag Berlin Heidelberg

Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll (auth.), Didier Bert, Christine Choppy, Peter D. Mosses (eds.)

Année:

2000

Langue:

english

Fichier:

PDF, 4.34 MB

0 / 0

english, 2000

10

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman & António Ravara & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Année:

2023

Langue:

english

Fichier:

PDF, 6.81 MB

0 / 5.0

english, 2023

11

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer & Marieke Huisman & Fabrice Kordon & Bernhard Steffen

Année:

2019

Langue:

english

Fichier:

PDF, 9.84 MB

0 / 0

english, 2019

12

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer & Marieke Huisman

Année:

2018

Langue:

english

Fichier:

PDF, 20.54 MB

0 / 0

english, 2018

13

Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Springer-Verlag Berlin Heidelberg

Marieke Huisman, Julia Rubin (eds.)

Année:

2017

Langue:

english

Fichier:

PDF, 22.79 MB

0 / 0

english, 2017

14

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

Année:

2021

Langue:

english

Fichier:

PDF, 32.66 MB

0 / 0

english, 2021

15

Smart Card Research and Advanced Applications VI: IFIP 18th World Computer Congress TC8/WG8.8 & TC11/WG11.2 Sixth International Conference on Smart Card Research and Advanced Applications (CARDIS) 22–27 August 2004 Toulouse, France

Smart Card Research and Advanced Applications VI: IFIP 18th World Computer Congress TC8/WG8.8 & TC11/WG11.2 Sixth International Conference on Smart Card Research and Advanced Applications (CARDIS) 22–27 August 2004 Toulouse, France

Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet (auth.), Jean-Jacques Quisquater, Pierre Paradinas, Yves Deswarte, Anas Abou El Kalam (eds.)

Année:

2004

Langue:

english

Fichier:

PDF, 12.56 MB

0 / 0

english, 2004

16

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Springer International Publishing

Erika Ábrahám, Marieke Huisman (eds.)

Année:

2016

Langue:

english

Fichier:

PDF, 24.74 MB

0 / 0

english, 2016

17

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Claudio A. Ardagna, Marco Cremonini (auth.), Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet (eds.)

Année:

2006

Langue:

english

Fichier:

PDF, 2.20 MB

0 / 0

english, 2006

18

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

Année:

2021

Langue:

english

Fichier:

EPUB, 76.24 MB

0 / 0

english, 2021

19

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

Année:

2021

Langue:

english

Fichier:

PDF, 32.66 MB

0 / 0

english, 2021

20

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

Année:

2021

Langue:

english

Fichier:

EPUB, 76.24 MB

0 / 0

english, 2021

21

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

Jan Friso Groote, Marieke Huisman

Année:

2022

Langue:

english

Fichier:

PDF, 13.09 MB

0 / 5.0

english, 2022

22

Concise Guide to Software Verification: From Model Checking to Annotation Checking

Concise Guide to Software Verification: From Model Checking to Annotation Checking

Marieke Huisman, Anton Wijs

Année:

2023

Langue:

english

Fichier:

PDF, 8.66 MB

0 / 5.0

english, 2023

23

Concise Guide to Software Verification : From Model Checking to Annotation Checking

Concise Guide to Software Verification : From Model Checking to Annotation Checking

Springer International Publishing

Marieke Huisman, Anton Wijs

Année:

2023

Langue:

english

Fichier:

EPUB, 39.48 MB

0 / 5.0

english, 2023

24

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Marieke Huisman, Anton Wijs

Année:

2023

Langue:

english

Fichier:

RAR, 50.11 MB

0 / 4.5

english, 2023

25

Concise Guide to Software Verification. From Model Checking to Annotation Checking

Concise Guide to Software Verification. From Model Checking to Annotation Checking

Marieke Huisman, Anton Wijs

Année:

2023

Langue:

english

Fichier:

PDF, 8.66 MB

0 / 0

english, 2023